ar X iv : m at h . L O / 0 50 40 65 v 1 4 A pr 2 00 5 Logic Without
نویسنده
چکیده
This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract , syntax-free contraction-weakening proofs; (3) distribution ; (4) axioms p ∨ p. Abstract propositions correspond to objects of the category G(Rel L) where G is the Hyland-Tan double glue-ing construction, Rel is the standard category of sets and relations, and L is a set of literals. Abstract proofs are morphisms of a tight orthogonality subcategory of G≤(Rel L), where we define G≤ as a lax variant of G. We prove that the free binary product-sum category (contraction-weakening logic) over L is a full subcate-gory of G(Rel L), and the free distributive lattice category (contraction-weakening-distribution logic) is a full sub-category of G≤(Rel L). We explore general constructions for adding axioms, which are not Rel-specific or (p ∨ p)-specific.
منابع مشابه
ar X iv : h ep - l at / 0 50 40 11 v 1 1 4 A pr 2 00 5 QCD at non - zero temperature and density from the Lattice
The study of systems as diverse as the cores of neutron stars and heavy-ion collision experiments requires the understanding of the phase structure of QCD at non-zero temperature, T , and chemical potential, µq. We review some of the difficulties of performing lattice simulations of QCD with µq = 0, and outline the re-weighting method used to overcome this problem. This method is used to determ...
متن کاملar X iv : n uc l - th / 0 50 40 62 v 1 2 1 A pr 2 00 5 1 Structure of 8 B and astrophysical S 17 factor
متن کامل
ar X iv : 0 80 4 . 40 12 v 1 [ m at h . D G ] 2 4 A pr 2 00 8 WHICH AMBIENT SPACES ADMIT
We give simple conditions on an ambient manifold that are necessary and sufficient for isoperimetric inequalities to hold.
متن کاملar X iv : 0 90 4 . 21 99 v 1 [ m at h . L O ] 1 4 A pr 2 00 9 Independence - revision and defaults ∗
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005